A proof of a fundamental Desargue's theorem using descriptive geometry
نویسندگان
چکیده
منابع مشابه
A Probabilistic Proof of the Fundamental Theorem of Algebra
We use Lévy’s theorem on invariance of planar Brownian motion under conformal maps and the support theorem for Brownian motion to show that the range of a non-constant polynomial of a complex variable consists of the whole complex plane. In particular, we obtain a probabilistic proof of the fundamental theorem of algebra.
متن کاملA linear algebra proof of the fundamental theorem of algebra
We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional vector space admits eigenvectors. The argument avoids the use of the fundamental theorem of algebra, which can then be deduced from it. Our presentation avoids any appeal to the theory of determinants. 2010 Mathematics Subject Classification. 15-01, 15A18.
متن کاملA Simple Proof of the Fundamental Theorem about Arveson Systems
With every E0–semigroup (acting on the algebra of of bounded operators on a separable infinite-dimensional Hilbert space) there is an associated Arveson system. One of the most important results about Arveson systems is that every Arveson system is the one associated with an E0–semigroup. In these notes we give a new proof of this result that is considerably simpler than the existing ones and a...
متن کاملA case study in formalizing projective geometry in Coq: Desargues theorem
Formalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in the literature, the non-degeneracy conditions lead to long technical proofs. In addition, when considering higher-dimensions, the amount of incidence relations (e.g. point-line, point-plane, line-plane) induce numerous technical lemmas. In this article, we investigate formalizing projective plane geomet...
متن کاملThe fundamental theorem of projective geometry
We prove the fundamental theorem of projective geometry. In addition to the usual statement, we also prove a variant in the presence of a symplectic form.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Časopis pro pěstování matematiky a fysiky
سال: 1900
ISSN: 1802-114X
DOI: 10.21136/cpmf.1900.109084